Determinizing Asynchronous Automata
نویسندگان
چکیده
منابع مشابه
Determinizing Asynchronous Automata on Infinite Inputs
Asynchronous automata are a natural distributed machine model for recognizing trace languages—languages defined over an alphabet equipped with an independence relation. To handle infinite traces, Gastin and Petit introduced Büchi asynchronous automata, which accept precisely the class of ω-regular trace languages. Like their sequential counterparts, these automata need to be non-deterministic i...
متن کاملDeterminizing Discounted-Sum Automata
A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, which values a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by λ, where the discount factor λ is a fixed rational number greater than 1. Discounted summation is a common and useful measuring scheme, especially for infinite sequenc...
متن کاملDeterminizing Two-way Alternating Pebble Automata for Data Languages
We prove that for every integer k ≥ 1, two-way alternating kpebble automata and one-way deterministic k-pebble automata for data languages have the same recognition power.
متن کاملImplementing Realistic Asynchronous Automata
Zielonka’s theorem, established 25 years ago, states that any regular language closed under commutation is the language of an asynchronous automaton (a tuple of automata, one per process, exchanging information when performing common actions). Since then, constructing asynchronous automata has been simplified and improved [6, 20, 7, 12, 8, 4, 2, 21, 22]. We first survey these constructions and ...
متن کاملAsynchronous cellular learning automata
Cellular learning automata is a combination of cellular automata and learning automata. The synchronous version of cellular learning automata in which all learning automata in different cells are activated synchronously, has found many applications. In some applications a type of cellular learning automata in which learning automata in different cells are activated asynchronously (asynchronous ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1993
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v22i460.6933